General dynamic recovery for compensating CSP
نویسندگان
چکیده
منابع مشابه
General dynamic recovery for compensating CSP
Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensation sequences. Dynamic recovery means that the order of execution is determined at runtime. In this paper, we define an extension of Compensating CSP, called DEcCSP, with general dynamic recovery. We provide a formal,...
متن کاملExecutable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensations. We present a simple operational semantics for Compensating CSP and outline an encoding of this semantics in Prolog. This provides a basis for implementation and model checking of the language.
متن کاملRelating Semantic Models of Compensating CSP
Building equivalences between different semantic models of a language strengthens the formal foundation of the language. This paper shows the derivation of denotational semantics from operational semantics of the language cCSP. The aim is to show the correspondence between the operational and trace semantics. We extract traces from operational rules and use structural induction to show the corr...
متن کاملLearning General Constraints in CSP
We present a new learning scheme for CSP solvers, which is based on learning (general) constraints rather than generalized no-goods or signed-clauses that were used in the past. The new scheme is integrated in a conflict-analysis algorithm reminiscent of a modern systematic SAT solver: it traverses backwards the conflict graph and gradually builds an asserting conflict constraint. This construc...
متن کاملCompensating for Dynamic Supply Disruptions: Backup Flexibility Design
Full terms and conditions of use:
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.143.1